Product Code Database
Dana Fisman (Hebrew language: דנה פיסמן) is an Israeli computer scientist whose research has included work on the reconstruction of Automata theory-based models in computational learning theory including induction of regular languages, on temporal logic and the Property Specification Language, and on program synthesis. She is an associate professor of computer science at Ben-Gurion University of the Negev.
After her doctoral work, she became a postdoctoral researcher at the Hebrew University of Jerusalem. Meanwhile, she had been working in industry at the IBM Israel from 1997 to 2009; there she became one of the developers of the Property Specification Language for temporal logic. She moved to Synopsys, from 2009 to 2013.
In 2013 she returned to academia. She became a visiting fellow at Yale University from 2013 to 2016, and a research scientist at the University of Pennsylvania from 2014 to 2016. At the University of Pennsylvania she was associate director of a project on program synthesis headed by Rajeev Alur. In 2016 she obtained a position as assistant professor of computer science at Ben-Gurion University, and in 2021 she was promoted to associate professor.
|
|
